A Tale of Histories

نویسنده

  • Peter Van Weert
چکیده

Constraint Handling Rules (CHR) is an elegant, high-level programming language based on multi-headed, forward chaining rules. A distinguishing feature of CHR are propagation rules. To avoid trivial non-termination, CHR implementations ensure a CHR rule is applied at most once with the same combination of constraints by maintaining a so-called propagation history. The performance impact of this history is often significant. We introduce two optimizations to reduce or even eliminate this overhead, and evaluate their implementation in two stateof-the-art CHR systems.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Estimating the history of mutations on a phylogeny

Evolution is a historical process that has left its signature on the molecules and morphology of living organisms. Attempts to better understand the specific and general features of evolution involve making inferences about the past from these tell-tale signs (Felsenstein, 1985; Brooks and McLennan, 1991; Harvey and Pagel, 1991; Pagel, 1999). Ancestral state reconstruction is a powerful tool in...

متن کامل

Marūfī’s Paykar Farhād [Farhād’s Corpse]:

By baroque, one implies the “general attitude” and “the formal quality” of a work of art which is trans-historical and “radiates through” histories, cultures, and works of art. In that way, just a seventeenth-century work of art cannot be considered baroque; on the other hand, even a postmodern work can display “baroque” features. However, as a slave to its era, the baroque of 2oth and 21th cen...

متن کامل

An Architectural Tale of the Two Cities

A comparative study of the corresponding styles of Western and Iranian modern architecture has hardly ever been carried out in detail. This paper aims to sketch out an outline for such an investigation and to present a summary of empirical evidence accompanied by field observations to elaborate the ongoing trend of relationship between architectural styles in Iran and that of the West. This is ...

متن کامل

The Tall Tale of the Helicobacter pylori Blood Group Antigen Binding Proteins

  The features of Helicobacter pylori adhesins, their interactions with their host counterparts, regulated and selective gene expressions are amongst the many clever strategies this microorganism undertakes to survive the otherwise sterile gastric milieu. The ingenious crafting of these interactions and the respective host reactions govern, in part, an array of consequences ranging from asympto...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008